πŸ““ category theory.md by @flancian β˜†